41. Proceedings Sixth International Conference on Tools With Artificial Intelligence November 6-9, 1994 New Orleans, Louisiana
Author: Sponsored by IEEE Computer Society
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Artificial intelligence - Data processing - Congresses , Software engineering - Congresses , Computer architecture - Congresses , Programming languages )Electronic computers( - Congresses , Algorithms - Congresses
Classification :
Q
336
.
I356
1994
42. RIMS Symposia on Software Science and Engineering II :
Author: edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6
E358
1986
43. Semantic techniques in quantum computation /
Author: edited by Simon Gay, Ian Mackie.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
Classification :
QA76
.
889
.
S36
2010
44. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
Author: Roberto Giacobazzi )ed.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
I5733
2004
45. Symposium on Semantics of Algorithmic Languages
Author: edited by E. Engeler
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
Vol
.
188
46. Symposium on semantics of algorithmic languages
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Programming languages (Electronic computers)- Semantics- Congresses►Formal languages- Congresses►Computer algorithms- Congresses
Classification :
3
.
L28
,
no
.
188
47. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
1
.
L4
v
.
188
48. Symposium on semantics of algorithmic languages
Author: / edited by E. Engeler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
Classification :
QA
76
.
7
.
S9
1971
49. Symposium on semantics of algorithmic languages
Author: edited by E.Engeler
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
Classification :
QA
3
.
L28
no
.
188
50. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
51. The Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
Classification :
QA76
.
D45
1989
52. The design and analysis of computer algorithms /
Author: Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.
Classification :
QA76
.
6
.
A36
53. The logic of partial information
Author: Nait Abdallah, Areski
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N35
1995
54. The logic of partial information
Author: Areski Nait Abdallah
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
N3
55. The (new) Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
Classification :
QA76
.
D448
1993
56. Trees in Algebra and Programming - CAAP '96 :
Author: edited by Hélène Kirchner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers)
Classification :
QA166
.
2
E358
1996
57. Using Toolpack Software Tools :
Author: edited by A.A. Pollicini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
95
E358
1989
58. مبانی کامپیوتر و برنامهسازی مبتنی بر الگوریتم و فلوچارت ساخت یافته
Author: / مهدی یزدیاندهکردی، محبوبه خلیلزاده
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: برنامهنویسی -- راهنمای آموزشی (عالی),(Study and teaching (Higher -- Computer programming,زبانهای برنامهنویسی کامپیوتر -- راهنمای آموزشی (عالی),(Study and teaching (Higher -- (Programming languages (Electronic computers,الگوریتمهای کامپیوتری -- راهنمای آموزشی (عالی),(Study and teaching (Higher -- Computer algorithms,کامپیوترها -- راهنمای آموزشی (عالی),(Study and teaching (Higher -- Computers
Classification :
QA
۷۶
/
۷۶
/
ی
۴
م
۲ ۱۳۹۹
